Queen Mary, University of London - PDFSEARCH.IO - Document Search Engine

Queen Mary, University of London
Results: 402

#	Item
21	Towards Privacy-Preserving IoT Data Publishing Mohammad Malekzadeh, Hamed Haddadi Queen Mary University of London m.malekzadeh/ Abstract Add to Reading List Source URL: eurodw17.kaust.edu.sa - Date: 2017-04-17 04:38:36
22	Conway’s group and octonions Robert A. Wilson School of Mathematical Sciences, Queen Mary, University of London, Mile End Road, London E1 4NS Submitted 17th March 2009 Add to Reading List Source URL: www.maths.qmul.ac.uk - Date: 2010-09-09 11:36:56
23	Octonions and the Leech lattice Robert A. Wilson School of Mathematical Sciences, Queen Mary, University of London, Mile End Road, London E1 4NS Submitted 18th December 2008; revised 20th March 2009. Add to Reading List Source URL: www.maths.qmul.ac.uk - Date: 2010-09-09 11:56:08
24	Local Action and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2014-03-02 08:51:30
25	A Undecidability of propositional separation logic and its neighbours JAMES BROTHERSTON, University College London and MAX KANOVICH, Queen Mary, University of London In this paper, we investigate the logical structure o Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2014-01-21 06:29:06
26	Linear Continuation-Passing ∗ Josh Berdine and Peter O’Hearn ( {berdine, ohearn}@dcs.qmul.ac.uk) Department of Computer Science, Queen Mary, University of London, London E1 4NS, United Kingdom Add to Reading List Source URL: www.cs.bham.ac.uk - Date: 2002-08-05 10:38:10
27	Relative categoricity in abelian groups II Wilfrid Hodges School of Mathematical Sciences, Queen Mary, University of London and Anatoly Yakovlev Department of Mathematics, Add to Reading List Source URL: www.logique.jussieu.fr - Date: 2008-09-11 19:26:43
28	Computability and Complexity Results for a Spatial Assertion Language for Data Structures Cristiano Calcagno1,2 , Hongseok Yang3 , and Peter W. O’Hearn1 1 Queen Mary, University of London Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2014-02-28 18:10:36
29	Filipe Cabral Pinto Filipe Cabral Pinto é licenciado pela Universidade de Coimbra e doutorado em telecomunicações pela Queen Mary University of London. É actualmente consultor na PT Inovação na área das comunicaç Add to Reading List Source URL: lisboaenova.org - Date: 2015-10-30 21:21:16
30	Page 1 Type-Directed Compilation for Multicore Programming Kohei Honda (Queen Mary, University of London) Add to Reading List Source URL: places08.di.fc.ul.pt - Date: 2011-01-31 06:33:44

UPDATE